$\forall$$T$:Type, $A$, $B$, $C$:$T$ List. l\_contains($T$;$A$;$C$) $\Rightarrow$ l\_contains($T$;$A$;$B$ @ $C$)